trait A[T <: (_)]

